A Logical Viewpoint on Process-Algebraic Quotients
نویسندگان
چکیده
Antonín Kučera?1 and Javier Esparza??2 1 Faculty of Informatics, Masaryk University, Botanická 68a, 60200 Brno, Czech Republic, [email protected] 2 Institut für Informatik, Technische Universität München, Arcisstr. 21, D-80290 München, Germany, [email protected] Abstract. We study the following problem: Given a transition system T and its quotient T= under an equivalence , which are the sets L, L0 of HennessyMilner formulae such that: if ' 2 L and T satisfies ', then T= satisfies '; if ' 2 L0 and T= satisfies ', then T satisfies '.
منابع مشابه
IDEALS WITH (d1, . . . , dm)-LINEAR QUOTIENTS
In this paper, we introduce the class of ideals with $(d_1,ldots,d_m)$-linear quotients generalizing the class of ideals with linear quotients. Under suitable conditions we control the numerical invariants of a minimal free resolution of ideals with $(d_1,ldots,d_m)$-linear quotients. In particular we show that their first module of syzygies is a componentwise linear module.
متن کاملCategorical Abstract Algebraic Logic: Tarski Congruence Systems, Logical Morphisms and Logical Quotients
A general notion of a congruence system is introduced for π-institutions. Congruence systems in this sense are collections of equivalence relations on the sets of sentences of the π-institution that are preserved both by signature morphisms and by fixed collections of natural transformations from finite tuples of sentences to sentences. Based on this notion of a congruence system, the notion of...
متن کاملSymplectic implosion and non-reductive quotients
There is a close relationship between Mumford’s geometric invariant theory (GIT) in (complex) algebraic geometry and the process of reduction in symplectic geometry. GIT was developed to construct quotients of algebraic varieties by reductive group actions and thus to construct and study moduli spaces [28, 29]. When a moduli space (or a compactification of a moduli space) over C can be construc...
متن کاملAn Equational Metalogic for Monadic Equational Systems
The paper presents algebraic and logical developments. From the algebraic viewpoint, we introduce Monadic Equational Systems as an abstract enriched notion of equational presentation. From the logical viewpoint, we provide Equational Metalogic as a general formal deductive system for the derivability of equational consequences. Relating the two, a canonical model theory for Monadic Equational S...
متن کاملFactorial Algebraic Group Actions and Categorical Quotients
Given an action of an affine algebraic group with only trivial characters on a factorial variety, we ask for categorical quotients. We characterize existence in the category of algebraic varieties. Moreover, allowing constructible sets as quotients, we obtain a more general existence result, which, for example, settles the case of a finitely generated algebra of invariants. As an application, w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999